/*
 * MemoryDescription.java
 * 
 * last update: 16.01.2010 by Stefan Saru
 * 
 * author:	Alec(panovici@elcom.pub.ro)
 * 
 * Obs:
 */


package engine;

/**
 *  provides a simple mean to find out if something is a memory
 */
public interface MemoryDescription{
  public int getArrayStart();
  public int getArrayEnd();
  /**
  * @returns true if this is really a memory
  * (i.e. consists of more then one BitVector)
  */
  public boolean isMemory();

}
